-
Notifications
You must be signed in to change notification settings - Fork 115
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow Connection
to be interrupted
#343
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can we please get some tests and docs added? And remove the dsstore files
Yep! Put this up hastily to see if there was appetite for this functionality. I can clean it up now and add tests if there is. |
Could you merge this with main, and perhaps also add a test for this functionality? |
Yes, I got distracted with other things the last few weeks. I'll finish up this PR. |
Hey @Mause @Mytherin, I could use your input on how you'd like to see this tested. What I'm envisioning is spawning a long-running query in one thread, and then interrupting the same connection from another thread. Unfortunately, once a #[test]
fn test_interrupt() -> Result<()> {
let db = checked_memory_handle();
let query_handle = std::thread::spawn(move || {
let mut stmt = db.prepare("CREATE TABLE foo AS SELECT generate_series(1, 10000000) AS id;")?;
stmt.execute([])?;
Ok(())
});
db.interrupt();
let query_result: Result<(), Error> = query_handle.join().unwrap();
assert!(query_result.is_err());
Ok(())
} |
That idea for a test sounds good to me.
I'm not too familiar with Rust specifics - but how do you envision this method to be used in practice if this is not possible? Maybe there needs to be some annotation that signifies it is safe to call |
In practice, I've stored the |
If the tests are completely stand-alone I don't mind - but ideally we don't ship any static globals. Is there no other way? |
Closes #342
Allows the
Connection
to be interrupted, which is useful for cancelling long-running queries.